- 一階邏輯的不可判定性
- undecidability: n. 【邏輯學(xué)】【數(shù)學(xué)】不可決定性〔指以某系統(tǒng)的公理既不 ...
- first: adj. 1.最初的，最早的。 2.最上等的，第一流的。 ...
- order: n. 1.次序，順序；整齊；(社會(huì))秩序，治安；狀況，常 ...
- logic: n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
- first order logic: 一階邏輯
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯